Search results for "General Computer Science"

showing 10 items of 895 documents

The microscopic theory of diffusion-controlled defect aggregation

1998

Abstract The kinetics of diffusion-controlled aggregation of primary Frenkel defects ( F and H centers) in irradiated CaF 2 crystals is theoretically studied. Microscopic theory is based on the discrete-lattice formalism for the single defect densities (concentrations) and the coupled joint densities of similar and dissimilar defects treated in terms of the Kirkwood superposition approximation. Conditions and dynamics of the efficient F center aggregation during crystal heating after irradiation are analyzed.

General Computer ScienceF-CenterChemistryKineticsGeneral Physics and AstronomyGeneral ChemistryMolecular physicsCrystalComputational MathematicsFormalism (philosophy of mathematics)Mechanics of MaterialsKirkwood approximationPhysical chemistryGeneral Materials ScienceIrradiationMicroscopic theoryAgrégationComputational Materials Science
researchProduct

Measuring frequency domain granger causality for multiple blocks of interacting time series

2011

In the past years, several frequency-domain causality measures based on vector autoregressive time series modeling have been suggested to assess directional connectivity in neural systems. The most followed approaches are based on representing the considered set of multiple time series as a realization of two or three vector-valued processes, yielding the so-called Geweke linear feedback measures, or as a realization of multiple scalar-valued processes, yielding popular measures like the directed coherence (DC) and the partial DC (PDC). In the present study, these two approaches are unified and generalized by proposing novel frequency-domain causality measures which extend the existing meas…

Multivariate statisticsTime FactorsGeneral Computer ScienceLogarithmScalar (mathematics)Complex systemTopologyModels BiologicalNeurophysiological time serieBlock-based connectivity analysiGranger causalityStatisticsHumansComputer SimulationDirected coherenceMathematicsNumerical analysisPartial directed coherenceBrainElectroencephalographyVector autoregressive (VAR) modelBrain WavesCausalityAutoregressive modelFrequency domainComputer ScienceSettore ING-INF/06 - Bioingegneria Elettronica E InformaticaGranger causalityAlgorithmsBiotechnologyBiological Cybernetics
researchProduct

Nondeterministic operations on finite relational structures

1998

Abstract This article builds on a tutorial introduction to universal algebra for language theory (Courcelle, Theoret. Comput. Sci. 163 (1996) 1–54) and extends it in two directions. First, nondeterministic operations are considered, i.e., operations which give a set of results instead of a single one. Most of their properties concerning recognizability and equational definability carry over from the ordinary case with minor modifications. Second, inductive sets of evaluations are studied in greater detail. It seems that they are handled most naturally in the framework presented here. We consider the analogues of top-down and bottom-up tree transducers. Again, most of their closure propertie…

Discrete mathematicsFinite-state machineGeneral Computer ScienceComputer scienceLogicFormal languages (recognizable and context-free sets transducers)Unbounded nondeterminismMonad (functional programming)Symbolic computationHypergraphsFirst-order logicLogical theoryDecidabilityTheoretical Computer ScienceNondeterministic algorithmAlgebraDeterministic automatonFormal languageUniversal algebraEquivalence relationTree transducersRewritingComputer Science(all)Theoretical Computer Science
researchProduct

Static Deflection Compensation of Multi-Link Flexible Manipulators Under Gravity

2022

The static deflection compensation method of a planar multi-link flexible manipulator is proposed using the feedback from inertial sensors mounted at the tip of each link. The proposed compensation technique is validated experimentally using a high-precision laser tracker. The proposed strategy is experimentally verified using a three-link flexible manipulator. A strategy to compensate for the centripetal and tangential acceleration induced on the accelerometer mounted on the rotating link is proposed for correct inclination estimation. The improvement in the inclination estimation using the proposed compensation technique is verified both in simulation and experimental studies.

VDP::Teknologi: 500General Computer ScienceoscillationsComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONFlexible arm3DoF manipulatorGeneral Engineeringelasticitydeflection compensationGeneral Materials ScienceElectrical engineering. Electronics. Nuclear engineeringTK1-9971IEEE Access
researchProduct

Support vector machines in engineering: an overview

2014

This paper provides an overview of the support vector machine SVM methodology and its applicability to real-world engineering problems. Specifically, the aim of this study is to review the current state of the SVM technique, and to show some of its latest successful results in real-world problems present in different engineering fields. The paper starts by reviewing the main basic concepts of SVMs and kernel methods. Kernel theory, SVMs, support vector regression SVR, and SVM in signal processing and hybridization of SVMs with meta-heuristics are fully described in the first part of this paper. The adoption of SVMs in engineering is nowadays a fact. As we illustrate in this paper, SVMs can …

Computer Science::Machine LearningBeamformingData processingSignal processingGeneral Computer ScienceContextual image classificationComputer sciencebusiness.industryMachine learningcomputer.software_genreSupport vector machineComputingMethodologies_PATTERNRECOGNITIONKernel methodState (computer science)Artificial intelligenceData miningbusinesscomputerDecoding methodsWiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
researchProduct

Do graphical overviews facilitate or hinder comprehension in hypertext?

2009

Educational hypertexts usually include graphical overviews, conveying the structure of the text schematically with the aim of fostering comprehension. Despite the claims about their relevance, there is currently no consensus on the impact that hypertext overviews have on the reader's comprehension. In the present paper we have explored how hypertext overviews might affect comprehension with regard to (a) the time at which students read the overview and (b) the hypertext difficulty. The results from two eye-tracking studies revealed that reading a graphical overview at the beginning of the hypertext is related to an improvement in the participant's comprehension of quite difficult hypertexts…

Structure (mathematical logic)General Computer ScienceInstructional designComputer sciencemedia_common.quotation_subjectEducational technologyHypermediaEducationlaw.inventionWorld Wide WebComprehensionlawReading (process)ComputingMethodologies_DOCUMENTANDTEXTPROCESSINGRelevance (information retrieval)Hypertextmedia_commonComputers & Education
researchProduct

Deterministic chaos and the first positive Lyapunov exponent: a nonlinear analysis of the human electroencephalogram during sleep

1993

Under selected conditions, nonlinear dynamical systems, which can be described by deterministic models, are able to generate so-called deterministic chaos. In this case the dynamics show a sensitive dependence on initial conditions, which means that different states of a system, being arbitrarily close initially, will become macroscopically separated for sufficiently long times. In this sense, the unpredictability of the EEG might be a basic phenomenon of its chaotic character. Recent investigations of the dimensionality of EEG attractors in phase space have led to the assumption that the EEG can be regarded as a deterministic process which should not be mistaken for simple noise. The calcu…

AdultMaleGeneral Computer ScienceModels NeurologicalChaoticSystems TheoryLyapunov exponentsymbols.namesakeControl theoryAttractorHumansStatistical physicsMathematicsSleep StagesButterfly effectQuantitative Biology::Neurons and CognitionElectroencephalographyMiddle AgedNonlinear systemData Interpretation StatisticalPhase spaceQuasiperiodic functionsymbolsSleep StagesSleepCyberneticsBiotechnologyBiological Cybernetics
researchProduct

Analysis of neuronal networks in the visual system of the cat using statistical signals--simple and complex cells. Part II.

1978

Superimposing additively a two-dimensional noise process to deterministic input signals (bars) the neurons of area 17 show a class-specific reaction for the task of signal extraction. Moving both parts of the signals simultaneously and varying the signal to noise ratio (S/N) the simple cells achieve the same performance as resulted from the psychophysical experiment. Type I complex cells extract moving deterministic signals (i.e. bars) from the stationary noise, whereas in the answers of Type II complex cells the statistical parts of the signals predominate. Considering the different cell types each as a series of a linear and a nonlinear system one obtains the cell specific space-time freq…

Cerebral CortexNeuronsGeneral Computer ScienceSeries (mathematics)Noise (signal processing)Computer scienceSpeech recognitionModels NeurologicalStatistics as TopicProcess (computing)Complex systemElectrophysiologyForm PerceptionNonlinear systemAmplitudeSignal-to-noise ratioPattern Recognition VisualSimple (abstract algebra)CatsAnimalsVisual PathwaysBiological systemMathematicsBiotechnologyBiological cybernetics
researchProduct

On achieving intelligent traffic-aware consolidation of virtual machines in a data center using Learning Automata

2018

Unlike the computational mechanisms of the past many decades, that involved individual (extremely powerful) computers or clusters of machines, cloud computing (CC) is becoming increasingly pertinent and popular. Computing resources such as CPU and storage are becoming cheaper, and the servers themselves are becoming more powerful. This enables clouds to host more virtual machines (VMs). A natural consequence ofthis is that many modern-day data centers experience very high internaltraffic within the data centers themselves. This is, of course, due to the occurrence of servers that belong to the same tenant, communicating between themselves. The problem is accentuated when the VM deployment t…

General Computer ScienceComputer scienceDistributed computingCloud computing02 engineering and technologyNetwork topologycomputer.software_genreTheoretical Computer ScienceLearning automataServer0202 electrical engineering electronic engineering information engineeringCloud computingCluster analysisLearning automatabusiness.industryGraph partitioningGraph partition020206 networking & telecommunicationsVirtual machineModeling and Simulation020201 artificial intelligence & image processingData centerVirtual machinesbusinesscomputerComputer network
researchProduct

Periodicity, morphisms, and matrices

2003

In 1965, Fine and Wilf proved the following theorem: if (fn)n≥0 and (gn)n≥0 are periodic sequences of real numbers, of period lengths h and k, respectively, and fn = gn for 0 ≤ n > h + k - gcd(h,k), then fn = gn for all n ≥ 0. Furthermore, the constant h + k - gcd(h,k) is best possible. In this paper, we consider some variations on this theorem. In particular, we study the case where fn ≤ gn, instead of fn = gn. We also obtain generalizations to more than two periods.We apply our methods to a previously unsolved conjecture on iterated morphisms, the decreasing length conjecture: if h : Σ* → Σ* is a morphism with |Σ|= n, and w is a word with |w| < |h(w)| < |h2(w)| < ... < |hk(w)|, then k ≤ n.

PeriodicityConjectureGeneral Computer Science010102 general mathematicsSturmian wordSturmian wordIterated morphism0102 computer and information sciences01 natural sciencesTheoretical Computer ScienceCombinatoricsMorphism010201 computation theory & mathematicsMatrix algebraIterated function0101 mathematicsWord (group theory)Real numberMathematicsComputer Science(all)Theoretical Computer Science
researchProduct